-
ComenC allows for B0 implementations to be translated into C language. This translator is a result of a convergence between industrial translators and research ...
B0 implémentations  B0 translator  ComenC  translator ComenC 
www.comenc.eu - 2009-04-08
-
This site is designed to present different work and subjects for consideration by Clearsy concerning the B method, a formal method with proof.
bmethod.com - 2009-04-11
|
atelier b
security
b4free
control
méthode b
méthode formelle
systems
equipment
|
|